/* Generated from ../test/vivien.cloog by CLooG 0.19.0-6faa51a gmp bits in 0.08s. */
if (n >= 0) {
  for (p1=-54*n+4;p1<=4;p1++) {
    if (p1%2 == 0) {
      S1(((p1-2)/2));
    }
  }
  if (n >= 1) {
    S3(1);
  }
  if (n <= 1) {
    S1(2);
  }
  if (n >= 2) {
    S4(1,2);
    S1(2);
    S6(1,2);
  }
  for (p1=7;p1<=min(9,4*n-2);p1++) {
    if (p1 == 8) {
      S4(1,3);
    }
    if (p1 == 8) {
      S1(3);
    }
    if (p1 == 8) {
      S6(1,3);
    }
    if (p1 == 9) {
      S3(2);
    }
    if ((p1+1)%2 == 0) {
      S2(((p1-3)/2),1);
    }
  }
  for (p1=10;p1<=min(2*n+58,4*n-2);p1++) {
    p2 = ceild(-p1+2,4);
    if (p2 <= min(floord(-p1+2*n,2),floord(-p1+5,4))) {
      if (p1%2 == 0) {
        S4(-p2,((p1+2*p2)/2));
      }
    }
    if (p1 >= 4*n-4) {
      if (p1%2 == 0) {
        for (p3=1;p3<=floord(p1-2*n-2,2);p3++) {
          S5(((p1-2*n)/2),n,p3);
        }
      }
    }
    p2 = ceild(-p1+6,4);
    if (p2 <= min(floord(-p1+2*n,2),floord(-p1+9,4))) {
      if (p1%2 == 0) {
        S4(-p2,((p1+2*p2)/2));
      }
    }
    p2 = ceild(-p1+6,4);
    if (p2 <= min(floord(-p1+2*n,2),floord(-p1+9,4))) {
      for (p3=1;p3<=-p2;p3++) {
        if (p1%2 == 0) {
          S5((-p2+1),((p1+2*p2-2)/2),p3);
        }
      }
    }
    for (p2=ceild(-p1+10,4);p2<=min(-1,floord(-p1+2*n,2));p2++) {
      if (p1%2 == 0) {
        S4(-p2,((p1+2*p2)/2));
      }
      if (p1%2 == 0) {
        S6((-p2+2),((p1+2*p2-4)/2));
      }
      for (p3=1;p3<=-p2;p3++) {
        if (p1%2 == 0) {
          S5((-p2+1),((p1+2*p2-2)/2),p3);
        }
      }
    }
    if ((p1 >= 2*n+4) && (p1 <= 4*n-6)) {
      if (p1%2 == 0) {
        S6(((p1-2*n+2)/2),(n-1));
        for (p3=1;p3<=floord(p1-2*n-2,2);p3++) {
          S5(((p1-2*n)/2),n,p3);
        }
      }
    }
    if (p1 >= 2*n+6) {
      if (p1%2 == 0) {
        S6(((p1-2*n)/2),n);
      }
    }
    if (p1 <= 2*n+4) {
      if (p1%2 == 0) {
        S6(2,((p1-4)/2));
      }
      if ((p1+3)%4 == 0) {
        S3(((p1-1)/4));
      }
      if (p1%2 == 0) {
        S1(((p1-2)/2));
      }
    }
    if (p1 >= 2*n+5) {
      if ((p1+3)%4 == 0) {
        S3(((p1-1)/4));
      }
      if (p1%2 == 0) {
        S1(((p1-2)/2));
      }
    }
    if (p1 <= 2*n+2) {
      if (p1%2 == 0) {
        S6(1,((p1-2)/2));
      }
    }
    for (p2=max(1,ceild(p1-2*n-1,2));p2<=floord(p1-3,4);p2++) {
      if ((p1+1)%2 == 0) {
        S2(((p1-2*p2-1)/2),p2);
      }
    }
  }
  if ((n >= 2) && (n <= 29)) {
    S2(n,(n-1));
  }
  if ((n >= 2) && (n <= 29)) {
    S1((2*n-1));
  }
  if ((n >= 2) && (n <= 28)) {
    S3(n);
  }
  for (p1=max(7,4*n+2);p1<=2*n+58;p1++) {
    if (p1%2 == 0) {
      S1(((p1-2)/2));
    }
  }
  for (p1=2*n+59;p1<=4*n-2;p1++) {
    p2 = ceild(-p1+2,4);
    if (p2 <= min(floord(-p1+2*n,2),floord(-p1+5,4))) {
      if (p1%2 == 0) {
        S4(-p2,((p1+2*p2)/2));
      }
    }
    if (p1 >= 4*n-4) {
      if (p1%2 == 0) {
        for (p3=1;p3<=floord(p1-2*n-2,2);p3++) {
          S5(((p1-2*n)/2),n,p3);
        }
      }
    }
    p2 = ceild(-p1+6,4);
    if (p2 <= min(floord(-p1+2*n,2),floord(-p1+9,4))) {
      if (p1%2 == 0) {
        S4(-p2,((p1+2*p2)/2));
      }
      for (p3=1;p3<=-p2;p3++) {
        if (p1%2 == 0) {
          S5((-p2+1),((p1+2*p2-2)/2),p3);
        }
      }
    }
    for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n,2);p2++) {
      if (p1%2 == 0) {
        S4(-p2,((p1+2*p2)/2));
      }
      if (p1%2 == 0) {
        S6((-p2+2),((p1+2*p2-4)/2));
      }
      for (p3=1;p3<=-p2;p3++) {
        if (p1%2 == 0) {
          S5((-p2+1),((p1+2*p2-2)/2),p3);
        }
      }
    }
    if (p1 <= 4*n-6) {
      if (p1%2 == 0) {
        S6(((p1-2*n+2)/2),(n-1));
        for (p3=1;p3<=floord(p1-2*n-2,2);p3++) {
          S5(((p1-2*n)/2),n,p3);
        }
      }
    }
    if (p1%2 == 0) {
      S6(((p1-2*n)/2),n);
    }
    if ((p1+3)%4 == 0) {
      S3(((p1-1)/4));
    }
    for (p2=ceild(p1-2*n-1,2);p2<=floord(p1-3,4);p2++) {
      if ((p1+1)%2 == 0) {
        S2(((p1-2*p2-1)/2),p2);
      }
    }
  }
  if (n >= 30) {
    S2(n,(n-1));
  }
  if (n >= 29) {
    S3(n);
  }
}
